// Test unifying multiple return BBs

int foo(int a) {
  if (a > 0) {
    return 100;
  } else {
    return 200;
  }
}

